$\forall$${\it es}$:event\_system\{i:l\}, $i$:Id, $L$:(Knd List), $x$:Id, $T$:Type.
\\[0ex]($\uparrow$es{-}isconst(${\it es}$; $i$; $x$)) $\Rightarrow$ frame{-}p(${\it es}$; $i$; $T$; $x$; $L$) $\Rightarrow$ @$i$ only $L$ affect $x$:$T$